Moral Knowledge by Deduction

Deduction chains for common knowledge

Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula φ, the deduction chains of φ are built up by systematically decomposing φ into its subformulae. In the case where φ is a valid formula, the decomposition yields a (usually cut-free) proof of φ. If φ is not valid, the decomposition produces a countermodel...

Learning in Deduction by Knowledge Migration and Shadowing

A method of deductive learning is developed to control deductive inference Our goal is to im prove problem solving time by experience when that experience monotonically adds knowledge to the knowledge base In particular for deductive reasoning systems where partial results are saved dur ing a derivation and at least some partial results are themselves deduction rules we suggest ways of taking m...

Psychopaths and Moral Knowledge

Model-Based Deduction for Knowledge Representation

This paper argues that model-based automated deduction techniques are very well suited for knowledge representation purposes. As a motivation we describe three applications and we discuss the requirements for a knowledge representation formalism. The presentation of our KR-system, KRHYPER, is centered aoround the equation KRHYPER = Kernel+ Logic Programming where we put particular emphasis on t...

An Architecture for Knowledge Based Deduction

Th i s paper d e s c r i b e s the d e s i g n o f a g e n e r a l purpose d e d u c t i o n eng ine f o r use i n expe r t sys tems. I t r e p r e s e n t s an e x t e n s i o n o f a n a t u r a l d e d u c t i o n theorem p r o v e r t h a t has e l i m i n a t e d the n e g a t i o n symbol in f a v o r o f c e r t a i n t y f a c t o r s and has an improved method o f s p l i t t i n g pro...